A Two-Dimensional Hierarchy for Attributed Tree Transducers
نویسنده
چکیده
Attributed tree transducers are formal models for studying properties of attribute grammars. In this paper we prove a two{dimen-sional hierarchy for classes of producing attributed tree transducers. The two dimensions refer to the maximum number of synthesized and inherited attributes, respectively. To this end we apply a pumping lemma for output languages of producing attributed tree transducers.
منابع مشابه
On the Generating Power of Deterministic Tree Transducers
Attributed tree transducers are abstract models to study properties of attribute grammars. One abstraction which occurs when modeling attribute grammars by attributed tree transducers is that arbitrary trees over a ranked alphabet are taken as input, instead of derivation trees of a context{free grammar. In this paper we show that with respect to the generating power this is not an abstraction,...
متن کاملA Pumping Lemma for Output Languages of Attributed Tree Transducers
The concept of attributed tree transducer is a formal model for studying properties of attribute grammars In this paper for output languages of noncircular producing and visiting attributed tree transducers we introduce and prove a pumping lemma We ap ply this pumping lemma to gain two results there is no noncircular producing and visiting attributed tree transducer which computes the set of al...
متن کاملOutput String Languages of Compositions of Deterministic Macro Tree Transducers
The composition of total deterministic macro tree transducers gives rise to a proper hierarchy with respect to their output string languages (these are the languages obtained by taking the yields of the output trees). There is a language not in this hierarchy which can be generated by a (quite restricted) nondeterministic string transducer, namely, a two-way generalized sequential machine. Simi...
متن کاملThe Generating Power of Total Deterministic Tree Transducers
Attributed tree transducers are abstract models used to study properties of attribute grammars. One abstraction which occurs when modeling attribute grammars by attributed tree transducers is that arbitrary trees over a ranked alphabet are taken as input, instead of derivation trees of a context-free grammar. In this paper we show that with respect to the generating power this is not an abstrac...
متن کاملObject-Based Classification of UltraCamD Imagery for Identification of Tree Species in the Mixed Planted Forest
This study is a contribution to assess the high resolution digital aerial imagery for semi-automatic analysis of tree species identification. To maximize the benefit of such data, the object-based classification was conducted in a mixed forest plantation. Two subsets of an UltraCam D image were geometrically corrected using aero-triangulation method. Some appropriate transformations were perfor...
متن کامل